A geometric identity for Pappus' theorem.
نویسنده
چکیده
An expression in the exterior algebra of a Peano space yielding Pappus' theorem was originally given by Doubilet, Rota, and Stein [Doubilet, P., Rota, G.-C. & Stein, J. (1974) Stud. Appl. Math. 8, 185-216]. Motivated by an identity of Rota, I give an identity in a Grassmann-Cayley algebra of step 3, involving joins and meets alone, which expresses the theorem of Pappus.
منابع مشابه
Orthopoles and the Pappus Theorem
If the vertices of a triangle are projected onto a given line, the perpendiculars from the projections to the corresponding sidelines of the triangle intersect at one point, the orthopole of the line with respect to the triangle. We prove several theorems on orthopoles using the Pappus theorem, a fundamental result of projective geometry.
متن کاملA Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
This paper presents a formalization of Grassmann-Cayley algebra [6] that has been done in the Coq [2] proof assistant. The formalization is based on a data structure that represents elements of the algebra as complete binary trees. This allows to define the algebra products recursively. Using this formalization, published proofs of Pappus’ and Desargues’ theorem [7,1] are interactively derived....
متن کاملInvestigation of thermal behavior of traditional geometric patterns (khavoon chini) in the external hollow walls of Dezful double-walled walls in order to revive cultural identity
Abstract Traditional geometric patterns in architecture and decoration are rooted in the cultural identity of each region and in cities such as Dezful, they display its special cultural and identity characteristics. In Dezful, the geometric patterns of the bricks, known as the khavoon chini are one of the hallmarks of the citychr('39')s cultural identity. Due to the hot climate of Dezful, the ...
متن کاملBirkhoff's Theorem from a geometric perspective: A simple example
From Hilbert's theorem of zeroes, and from Noether's ideal theory, Birkhoff derived certain algebraic concepts (as explained by Tholen) that have a dual significance in general toposes, similar to their role in the original examples of algebraic geometry. I will describe a simple example that illustrates some of the aspects of this relationship. The dualization from algebra to geometr...
متن کاملSome remarks on the arithmetic-geometric index
Using an identity for effective resistances, we find a relationship between the arithmetic-geometric index and the global ciclicity index. Also, with the help of majorization, we find tight upper and lower bounds for the arithmetic-geometric index.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Proceedings of the National Academy of Sciences of the United States of America
دوره 91 8 شماره
صفحات -
تاریخ انتشار 1994